<html>
<head><meta charset="utf-8"><title>triagebot prioritization · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html">triagebot prioritization</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="193660447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660447">(Apr 11 2020 at 13:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> Should I open a dummy issue to test things?</p>



<a name="193660451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660451">(Apr 11 2020 at 13:24)</a>:</h4>
<p>ah hm, let's try it on a real issue</p>



<a name="193660453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660453">(Apr 11 2020 at 13:24)</a>:</h4>
<p>I'm sure I can find something :)</p>



<a name="193660456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660456">(Apr 11 2020 at 13:24)</a>:</h4>
<p>x)</p>



<a name="193660526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660526">(Apr 11 2020 at 13:26)</a>:</h4>
<p>Maybe <a href="https://github.com/rust-lang/rust/issues/70934" title="https://github.com/rust-lang/rust/issues/70934">#70934</a>?</p>



<a name="193660531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660531">(Apr 11 2020 at 13:26)</a>:</h4>
<p>It was triaged <code>P-high</code> because we didn't have a MCVE</p>



<a name="193660534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660534">(Apr 11 2020 at 13:26)</a>:</h4>
<p>But now we have one</p>



<a name="193660538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660538">(Apr 11 2020 at 13:27)</a>:</h4>
<p>what's mcve btw?</p>



<a name="193660544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660544">(Apr 11 2020 at 13:27)</a>:</h4>
<p>Minimal Complete Verifiable Example iirc</p>



<a name="193660548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660548">(Apr 11 2020 at 13:27)</a>:</h4>
<p>ah</p>



<a name="193660550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660550">(Apr 11 2020 at 13:27)</a>:</h4>
<p>See the description for the <code>E-needs-mcve</code> label</p>



<a name="193660551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660551">(Apr 11 2020 at 13:27)</a>:</h4>
<p>hm okay no zulip message</p>



<a name="193660555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660555">(Apr 11 2020 at 13:27)</a>:</h4>
<p>let me go dig up logs</p>



<a name="193660556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660556">(Apr 11 2020 at 13:27)</a>:</h4>
<p><span aria-label="confused" class="emoji emoji-1f615" role="img" title="confused">:confused:</span></p>



<a name="193660615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660615">(Apr 11 2020 at 13:29)</a>:</h4>
<p>maybe because there was already a stream with that name</p>



<a name="193660623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660623">(Apr 11 2020 at 13:29)</a>:</h4>
<p>But then it would have posted in that topic</p>



<a name="193660629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660629">(Apr 11 2020 at 13:29)</a>:</h4>
<p>pulling up logs...</p>



<a name="193660631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660631">(Apr 11 2020 at 13:29)</a>:</h4>
<p>I see two things</p>



<a name="193660636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660636">(Apr 11 2020 at 13:29)</a>:</h4>
<p>Either the <code>zulip_stream</code> ID is wrong</p>



<a name="193660682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660682">(Apr 11 2020 at 13:30)</a>:</h4>
<p>Or I just messed up something in my code <span aria-label="innocent" class="emoji emoji-1f607" role="img" title="innocent">:innocent:</span></p>



<a name="193660716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660716">(Apr 11 2020 at 13:32)</a>:</h4>
<p>hm, so I don't see anything being sent to zulip in logs</p>



<a name="193660758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660758">(Apr 11 2020 at 13:32)</a>:</h4>
<p>But the GitHub label is set correcly</p>



<a name="193660760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660760">(Apr 11 2020 at 13:32)</a>:</h4>
<p>So we reached the call to <code>futures::join!()</code></p>



<a name="193660771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660771">(Apr 11 2020 at 13:33)</a>:</h4>
<p>ah maybe we just don't log raw requests, actually</p>



<a name="193660772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660772">(Apr 11 2020 at 13:33)</a>:</h4>
<p>Probably, I haven't added logs myself</p>



<a name="193660773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660773">(Apr 11 2020 at 13:33)</a>:</h4>
<p>Should we add them and test again?</p>



<a name="193660775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660775">(Apr 11 2020 at 13:33)</a>:</h4>
<p>oh wait</p>



<a name="193660781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660781">(Apr 11 2020 at 13:33)</a>:</h4>
<p>we never authenticated that request</p>



<a name="193660840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660840">(Apr 11 2020 at 13:34)</a>:</h4>
<p>Oops <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span></p>



<a name="193660858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660858">(Apr 11 2020 at 13:35)</a>:</h4>
<p>fixing now</p>



<a name="193660864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193660864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193660864">(Apr 11 2020 at 13:35)</a>:</h4>
<p>Thanks <span aria-label="big smile" class="emoji emoji-1f604" role="img" title="big smile">:big_smile:</span></p>



<a name="193661248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661248">(Apr 11 2020 at 13:44)</a>:</h4>
<blockquote>
<p>See the description for the E-needs-mcve label</p>
</blockquote>
<p>too lazy :P</p>



<a name="193661256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661256">(Apr 11 2020 at 13:44)</a>:</h4>
<p>alright pushing</p>



<a name="193661259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661259">(Apr 11 2020 at 13:44)</a>:</h4>
<p>I'll give it to you then :P</p>



<a name="193661278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661278">(Apr 11 2020 at 13:45)</a>:</h4>
<p><code>Call for participation: This issue needs a Minimal Complete and Verifiable Example</code></p>



<a name="193661284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661284">(Apr 11 2020 at 13:45)</a>:</h4>
<p><span class="user-mention" data-user-id="120823">@DPC</span> There you have it <span aria-label="smirk" class="emoji emoji-1f60f" role="img" title="smirk">:smirk:</span></p>



<a name="193661287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661287">(Apr 11 2020 at 13:45)</a>:</h4>
<p>:D</p>



<a name="193661328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661328">(Apr 11 2020 at 13:46)</a>:</h4>
<p>thanks <span aria-label="smile cat" class="emoji emoji-1f638" role="img" title="smile cat">:smile_cat:</span></p>



<a name="193661333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661333">(Apr 11 2020 at 13:46)</a>:</h4>
<p>You're welcome <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="193661355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661355">(Apr 11 2020 at 13:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> Let's try again?</p>



<a name="193661359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661359">(Apr 11 2020 at 13:47)</a>:</h4>
<p>CI is not that quick</p>



<a name="193661408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661408">(Apr 11 2020 at 13:48)</a>:</h4>
<p>Right <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span></p>



<a name="193661570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661570">(Apr 11 2020 at 13:53)</a>:</h4>
<p>It broke? <span aria-label="frown" class="emoji emoji-1f641" role="img" title="frown">:frown:</span></p>



<a name="193661648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661648">(Apr 11 2020 at 13:54)</a>:</h4>
<blockquote>
<p>GitHub Actions has encountered an internal error when running your job.</p>
</blockquote>
<p>Nice</p>



<a name="193661918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661918">(Apr 11 2020 at 14:00)</a>:</h4>
<p>trying to rerun</p>



<a name="193661923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193661923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193661923">(Apr 11 2020 at 14:01)</a>:</h4>
<p>ah <a href="https://www.githubstatus.com/incidents/2wx06v7dbzhg" title="https://www.githubstatus.com/incidents/2wx06v7dbzhg">https://www.githubstatus.com/incidents/2wx06v7dbzhg</a></p>



<a name="193662255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193662255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193662255">(Apr 11 2020 at 14:09)</a>:</h4>
<p>yah saw the same thing in #infra</p>



<a name="193662896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193662896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193662896">(Apr 11 2020 at 14:25)</a>:</h4>
<p>Broke again</p>



<a name="193667165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193667165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193667165">(Apr 11 2020 at 16:08)</a>:</h4>
<p>The github issue is now resolved</p>



<a name="193667657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193667657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193667657">(Apr 11 2020 at 16:21)</a>:</h4>
<p>yeah it should be deployed</p>



<a name="193667663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193667663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193667663">(Apr 11 2020 at 16:21)</a>:</h4>
<p>I don't have a ready issue to mark but if you see something please try it</p>



<a name="193669250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669250">(Apr 11 2020 at 16:57)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> Can't we use <a href="https://github.com/rust-lang/rust/issues/70934" title="https://github.com/rust-lang/rust/issues/70934">#70934</a> like earlier?</p>



<a name="193669286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669286">(Apr 11 2020 at 16:58)</a>:</h4>
<p>I guess we can, just won't be a perfect test</p>



<a name="193669301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669301">(Apr 11 2020 at 16:58)</a>:</h4>
<p>Or maybe...</p>



<a name="193669308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669308">(Apr 11 2020 at 16:58)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/70963" title="https://github.com/rust-lang/rust/issues/70963">#70963</a> ?</p>



<a name="193669339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669339">(Apr 11 2020 at 16:59)</a>:</h4>
<p>okay, both worked</p>



<a name="193669402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669402">(Apr 11 2020 at 17:00)</a>:</h4>
<p>Titles are correct</p>



<a name="193669404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669404">(Apr 11 2020 at 17:00)</a>:</h4>
<p>Ping is there</p>



<a name="193669410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669410">(Apr 11 2020 at 17:00)</a>:</h4>
<p>I think this works as expected <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="193669420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193669420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193669420">(Apr 11 2020 at 17:01)</a>:</h4>
<p>Thanks a lot for your help <span class="user-mention" data-user-id="116122">@simulacrum</span>!</p>



<a name="193670019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193670019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193670019">(Apr 11 2020 at 17:15)</a>:</h4>
<p>Thank you for implementing! <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="193670029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193670029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193670029">(Apr 11 2020 at 17:15)</a>:</h4>
<p>You did the painful job of refractoring though <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="193803536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193803536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193803536">(Apr 13 2020 at 18:27)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I think we might want to add a link to the Zulip thread on GitHub when using <code>@rustbot prioritize</code></p>



<a name="193803549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193803549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193803549">(Apr 13 2020 at 18:27)</a>:</h4>
<p>I wanted to know what you think</p>



<a name="193805272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193805272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193805272">(Apr 13 2020 at 18:43)</a>:</h4>
<p>yes, <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="193805382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/193805382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#193805382">(Apr 13 2020 at 18:44)</a>:</h4>
<p>or well, I meant whatever, what I usually do is after prioritizing it I add a comment pointing to the discussion on Zulip</p>



<a name="194849031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/194849031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#194849031">(Apr 21 2020 at 19:16)</a>:</h4>
<p>I was wondering if it may be a good idea to make the bot also comment on github with a link to the zulip discussion about the prioritization of the issue</p>



<a name="194849122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/194849122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#194849122">(Apr 21 2020 at 19:17)</a>:</h4>
<p>This is what I thought too</p>



<a name="194849156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/194849156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#194849156">(Apr 21 2020 at 19:17)</a>:</h4>
<p>I can file a PR if <span class="user-mention" data-user-id="116122">@simulacrum</span> is busy</p>



<a name="194849438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/194849438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#194849438">(Apr 21 2020 at 19:19)</a>:</h4>
<p>we can also do here <code>@triagebot prioritize P-high</code> from Zulip and have the bot on github removing <code>I-prioritize</code>, adding <code>P-high</code> and commenting with the link to the discussion :)</p>



<a name="194849615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/194849615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#194849615">(Apr 21 2020 at 19:21)</a>:</h4>
<p>I was unable to find a nice way to get the Zulip URL, but I'm generally on board.</p>
<p>We should try to post links to both here and the read-only Zulip archive (which doesn't need authentication)</p>



<a name="194849625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/194849625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#194849625">(Apr 21 2020 at 19:21)</a>:</h4>
<p>I don't have time but can review PRs</p>



<a name="195436586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/195436586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#195436586">(Apr 27 2020 at 15:50)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> do the bots open up topics in response to <em>any</em> addition of <code>I-prioritize</code> to an issue? Or is it solely via the <code>@rustbot prioritize</code> command that a topic gets opened up over here?</p>



<a name="195436693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/195436693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#195436693">(Apr 27 2020 at 15:50)</a>:</h4>
<p>(either way in fine; I was expecting the latter because I didn't know if it would be hard to implement former. But if its the former, that is super cool !)</p>



<a name="195436702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/195436702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#195436702">(Apr 27 2020 at 15:50)</a>:</h4>
<p>Now any addition of <code>I-prioritize</code> opens a topic here</p>



<a name="195436715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/195436715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#195436715">(Apr 27 2020 at 15:50)</a>:</h4>
<p>again, super cool!</p>



<a name="195436742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/triagebot%20prioritization/near/195436742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/triagebot.20prioritization.html#195436742">(Apr 27 2020 at 15:51)</a>:</h4>
<p>Thank <span class="user-mention silent" data-user-id="116122">simulacrum</span>  <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>